3

A theory of bunches

Year:
2001
Language:
english
File:
PDF, 146 KB
english, 2001
5

Partiality and Nondeterminacy in Program Proofs

Year:
1998
Language:
english
File:
PDF, 144 KB
english, 1998
10

Reproducible active-passive mode-locked oscillators

Year:
1977
Language:
english
File:
PDF, 406 KB
english, 1977
11

Active-passive mode-locked oscillator generating nanosecond pulses

Year:
1981
Language:
english
File:
PDF, 261 KB
english, 1981
14

A source of inconsistency in theories of nondeterministic functions

Year:
2002
Language:
english
File:
PDF, 105 KB
english, 2002
15

Active-passive mode-locked oscillators at 1.054 μm

Year:
1978
Language:
english
File:
PDF, 504 KB
english, 1978
16

Term transformers

Year:
2009
Language:
english
File:
PDF, 800 KB
english, 2009
19

Specificational functions

Year:
1999
Language:
english
File:
PDF, 290 KB
english, 1999
20

E3: A logic for reasoning equationally in the presence of partiality

Year:
1999
Language:
english
File:
PDF, 1.16 MB
english, 1999
25

An 11 Megawatt 6.8 Joule Flashlamp Pumped Coaxial Liquid Dye Laser

Year:
1972
Language:
english
File:
PDF, 360 KB
english, 1972
27

Performance of the ZETA laser system

Year:
1979
Language:
english
File:
PDF, 244 KB
english, 1979
28

Fast Coaxial Flashlamp Pumped Liquid Dye Laser for Photolysis

Year:
1972
Language:
english
File:
PDF, 491 KB
english, 1972
29

Electrooptic prepulse suppression for fusion laser systems

Year:
1980
Language:
english
File:
PDF, 278 KB
english, 1980